file = open("a.txt", "w")
a = 1
while a <= 10:
    file.write("%03d\n" % a)
    a += 1
file.close()
